Шехтман В. Б. - Введение В Математическую Логику И Теорию Алгоритмов - Теория Множеств Цермело